#ifndef _COUNTER_H_
#define _COUNTER_H_

void create_counter();

int get_counter_value();

void increase_counter();

void destroy_counter();

#endif
